Synonym-declarations

Synonym-declarations bind either a name to a denotation (making that name synonymous with that denotation) or a type-name to a type-declarer (making that type-name synonymous to that type-declarer).

(315,100) (000,090)synonym-declaration (000,070)(1,0)03040LET (1,0)5 (075,060)(20,20)[r] (295,040)(20,20)[r] (295,050)(-1,0)125 (025,050)(1,0)13510, (025,040)(20,20)[l] (025,030)(1,0)005100synonym-name (1,0)030010= (1,0)030060denotation (1,0)060 (015,040)(0,-1)20 (025,020)(20,20)[lb] (265,020)(20,20)[rb] (285,020)(20,20)[lt] (025,010)(1,0)005100synonym-type-name (1,0)030010= (1,0)030060type-declarer (1,0)005

The synonym has all the properties of the denotation or type-declarer it is bound to - it may be used at all places where that would be valid, with the same meaning.